Mathematics and Computing - PDFSEARCH.IO - Document Search Engine

Mathematics and Computing
Results: 2535

#	Item
701	PrimeGrid’s The Riesel Problem On 25 December 2013, 11:53:21 UTC, PrimeGrid’s The Riesel Problem project eliminated k=40597 by finding the mega prime: 40597The prime is 2,049,571 digits long and will ente Add to Reading List Source URL: www.primegrid.com Language: English* - Date: 2014-01-14 23:59:20 Numbers Riesel Sieve PrimeGrid Riesel number LLR Megaprime Primality test Berkeley Open Infrastructure for Network Computing Twin Prime Search Prime numbers Mathematics Number theory
702	A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:37:21 Applied mathematics AgentSpeak Operational semantics Bisimulation Programming language Agent-based model State transition system 3APL Logic programming Multi-agent systems Computing Theoretical computer science
703	Frontiers in Advanced Computing, Mathematics, and Data Lecture Series Data Analytics, Exascale Architectures and Computer Science: The Path to Tomorrow Add to Reading List Source URL: computerlectures.pnnl.gov Language: English - Date: 2015-02-17 19:06:58 Tri-Cities Washington Computing Computational science Computer science Sandia National Laboratories Graph United States Department of Energy National Laboratories Environmental Molecular Sciences Laboratory Richland Washington
704	CCCG 2009, Vancouver, BC, August 17–19, 2009 Computing Fr´ echet Distance with Speed Limits∗ A. Maheshwari, J.-R. Sack, and K. Shahbaz Add to Reading List Source URL: cccg.ca Language: English - Date: 2009-09-02 14:32:48 Applied mathematics Computing B-tree Algorithm Mathematics
705	Changes Based on Research (All made to IGO‐level data) 1. Changed death variables for SRDO to reflect it is still alive. (5/17) 2. Determined 340 still exists. Changed death info and Add to Reading List Source URL: correlatesofwar.org Language: English - Date: 2015-05-10 00:46:22 IGO Go Variable Software engineering Mathematics Computing Cryptography Spreadsheet Code
706	Planning for Mining Operations with Time and Resource Constraints Nir Lipovetzky and Christina N. Burt and Adrian R. Pearce and Peter J. Stuckey Computing and Information Systems The University of Melbourne Parkville, Au Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2014-04-09 20:47:15 Mathematics Mathematical optimization Convex optimization Linear programming Job shop scheduling IP Optimization problem Heuristic function Operations research Theoretical computer science Applied mathematics
707	‘ManUp’ Project Professor Gregory Kolt from the School of Science and Health and Professor Anthony Maeder from the School of Computing, Engineering and Mathematics are part of a large team undertaking research into m Add to Reading List Source URL: thril.uws.edu.au Language: English - Date: 2013-10-30 22:22:02 Nursing Lifestyle management programme Behavioural change theories Commonwealth Scientific and Industrial Research Organisation Health Health promotion Health policy
708	Project no. GOCE-CTProject acronym: ENSEMBLES Project title: ENSEMBLE-based Predictions of Climate Changes and their Impacts Instrument: Integrated Project Thematic Priority: Global Change and Ecosystems Add to Reading List Source URL: ensembles-eu.metoffice.com Language: English - Date: 2006-10-09 06:57:31 Data set Variable Computing Mathematics Data Weather prediction Downscaling ERA-40
709	For further information The Royal Society is a Fellowship of more than 1400 outstanding individuals from all areas of science, mathematics, engineering and medicine, who form a global scientific network of the highest c Add to Reading List Source URL: royalsociety.org Language: English - Date: 2014-02-13 12:11:22 Education Educational technology Information and communication technologies in education Information and communications technology National Curriculum Computer science Learning platform Saint Louis University – School of Computing and Information Sciences Communication Information technology Technology
710	Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems Deian Stefan1 Alejandro Russo2 Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2012-09-18 17:22:52 Mathematics Monad Covert channel Concurrent Haskell Information flow Parity of a permutation Parallel computing Functional programming Software engineering Computer programming

UPDATE